// Extracted from http://dev.w3.org/2006/webapi/WebIDL/ on 2011-05-06
  // Typedef identifier: "myNumber" (NOTE: the identifier "number" is a keyword for the idlzer needs at now)
  // Qualified name:    "::framework::myNumber"
  typedef float myNumber;

  // Interface identifier: "System"
  // Qualified name:       "::framework::System"
  interface System {

    // Operation identifier:          "createObject"
    // Operation argument identifier: "interface"
    object createObject(DOMString _interface);

    // Operation has no identifier; it declares a getter.
    getter DOMString (DOMString keyName);
  };


    // Interface identifier: "TextField"
    // Qualified name:       "::framework::gui::TextField"
    interface TextField {

      // Attribute identifier: "const"
      attribute boolean _const;

      // Attribute identifier: "value"
      attribute DOMString? _value;
    };

interface FooEventTarget {
  // Argument names allow some selected keywords
  undefined addEventListener(EventListener? callback);
};
